D. Guaspari, Robert M. Solovay, "Rosser sentences" - Internet Explorer 2.0

D. Guaspari, Robert M. Solovay, "Rosser sentences"

David Guaspari，Robert M. Solovay

Rosser文，Rosser証明可能性述語について．